-- Two Methods with same name
    DEF def(X:nat, Y:nat):nat == 0
    DEF def():bool == true
    DEF MAIN:bool == true
